The following four assumptions plausibly describe the ideal rational agent. (1) She knows what her beliefs are. (2) She desires to believe only truths. (3) Whenever she desires that P → Q and knows that P, she desires that Q. (4) She does not both desire that P and desire that ~P, for any P. Although the assumptions are plausible, they have an implausible consequence. They imply that the ideal rational agent does not believe and desire contradictory propositions. She neither (...) desires the world to be any different than she thinks it is, nor thinks it is any different than she desires it to be. The problem of preserving our intuitions about desire, without embracing the implausible conclusion, is what I call “the Wishful Thinking Puzzle.” In this paper, I examine how this puzzle arises, and I argue that it is surprisingly difficult to solve. Even the decision theoretic conception of desire is not immune to the puzzle. One approach, the contrastive conception of desire, does avoid the puzzle without being ad hoc, but it remains too inchoate to win our full confidence. (shrink)

An epistemic duty would be a duty to believe, disbelieve, or withhold judgment from a proposition, and it would be grounded in purely evidential or epistemic considerations. If I promise to believe it is raining, my duty to believe is not epistemic. If my evidence is so good that, in light of it alone, I ought to believe it is raining, then my duty to believe supposedly is epistemic. I offer a new argument for the claim that there are no (...) epistemic duties. Though people do sometimes have duties to believe, disbelieve, or withhold judgment from propositions, those duties are never grounded in purely epistemic considerations. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

We might suppose it is not only instrumentally valuable for beliefs to be true, but that it is intrinsically valuable – truth makes a non-derivative, positive contribution to a belief's overall value. Some intrinsic goods are better than others, though, and this article considers the question of how good truth is, compared to other intrinsic goods. I argue that truth is the worst of all intrinsic goods; every other intrinsic good is better than it. I also suggest the best explanation (...) for truth's inferiority is that it is not really an intrinsic good at all. It is intrinsically neutral. (shrink)

Philip Kitcher has argued for a causal correspondence view of truth, as against a deflationary view, on the grounds that the former is better poised than the latter to explain systematically successful patterns of action. Though Kitcher is right to focus on systematically successful action, rather than singular practical successes, he is wrong to conclude that causal correspondence theories are capable of explaining systematic success. Rather, I argue, truth bears no explanatory relation to systematic practical success. Consequently, the causal correspondence (...) view is not in a better position to explain success than the deflationary view; theories of truth are the wrong place to look for explanations of systematic practical success. (shrink)

This paper argues against the almost universally held view that truth is an instrumentally valuable property of beliefs. For truth to be instrumentally valuable in the way usually supposed, it must play a causal role in the satisfaction of our desires. As it happens, truth can play no such role, because it is screened off from causal relevance by some of the truth-like properties first discussed by Stephen Stich. Because it is not causally relevant to the success of our actions, (...) truth is not instrumentally valuable in the way usually supposed. (shrink)

According to a common objection to epistemological naturalism, no empirical, scientific theory of knowledge can be normative in the way epistemological theories need to be. In response, such naturalists as W.V. Quine have claimed naturalized epistemology can be normative by emulating engineering disciplines and addressing the relations of causal efficacy between our cognitive means and ends. This paper evaluates that "engineering reply" and finds it a mixed success. Based on consideration of what it might mean to call a theory "normative," (...) seven versions of the normativity objection to epistemological naturalism are formulated. The engineering reply alone is sufficient to answer only the four least sophisticated versions. To answer the others, naturalists must draw on more resources than their engineering reply alone provides. (shrink)

What do you know when you know what a sentence means? According to some theories, understanding a sentence is, in part, knowing its truth-conditions. Dorit Bar-On, Claire Horisk, and William Lycan have defended such theories on the grounds of an “epistemic determination argument”. That argument turns on the ideas that understanding a sentence, along with knowledge of the non-linguistic facts, suffices to know its truth-value, and that being able to determine a sentence’s truth-value given knowledge of the non-linguistic facts is (...) knowing its truth-conditions. I argue that the EDA withstands the objections recently raised by Daniel Cohnitz and Jaan Kangilaski, but fails for other reasons. It equivocates between a fine-grained and a coarse grained conception of “facts.”. (shrink)

Epistemic teleology is the view that (a) some states have fundamental epistemic value, and (b) all other epistemic value and obligation are to be understood in terms of promotion of or conduciveness to such fundamentally valuable states. Veritistic reliabilism is a paradigm case: It assigns fundamental value to true belief, and it makes all other assessments of epistemic value or justification in terms of the reliable acquisition of beliefs that are true rather than false. Teleology faces potentially serious problems from (...) cases of cross-propositional tradeoffs and cases of epistemic self-promotion. Both are cases in which committing some intuitive epistemic ill (such as believing against one’s evidence) promotes the greater epistemic good. It can seem that epistemic teleologies must incorrectly endorse intuitively unjustified beliefs as justified in such cases. This paper defends epistemic teleology on two fronts. First, I argue that the problems of tradeoffs and self-promotion do not affect minimally plausible epistemic teleologies. Second, I rehearse some of what I take to be the main reasons to prefer epistemic teleology to alternative views. A theme that develops along the way is that plausible teleologies evaluate belief-forming methods by appeal to their promotion of epistemic goals, but they evaluate individual beliefs by appeal to their causal histories. That is the feature that enables them to avoid tradeoff problems, without abandoning teleology and without resorting to ad hoc epicycles. (shrink)

Laurence BonJour has recently proposed a novel and interesting approach to the problem of induction. He grants that it is contingent, and so not a priori, that our patterns of inductive inference are reliable. Nevertheless, he claims, it is necessary and a priori that those patterns are highly likely to be reliable, and that is enough to ground an a priori justification induction. This paper examines an important defect in BonJour's proposal. Once we make sense of the claim that inductive (...) inference is "necessarily highly likely" to be reliable, we find that it is not knowable a priori after all. (shrink)

This paper argues against the realization principle, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.Footnote11This paper resulted from work done at John Heil's 2006 Mind and Metaphysics NEH Summer Seminar at Washington University in St. Louis. An early version of it was presented in a special symposium on realization at the 2007 meeting of the Southern Society for Philosophy and Psychology. I owe thanks to all the participants in both events for helpful discussions, and I owe particular thanks to Ken Aizawa, Torin Alter, Jason Ford, Carl Gillett, John Heil, Nicholas Helms, Pete Mandik, John Post, Gene Witmer, Michelle Wrenn, Tad Zawidzki, and two anonymous referees for the AJP. (shrink)

A “self-effacing” property is one that is definable without referring to it. Colin McGinn (2000) has argued that there is exactly one such property: truth. I show that if truth is a self-effacing property, then there are very many others—too many even to constitute a set.

This is our journal for developing Deduction Theory and studying Deep Learning and Artificial intelligence. Deduction Theory is a Theory of Deducing World’s Relativity by Information Coupling and Asymmetry. We focus on information processing, see intelligence as an information structure that relatively close object-oriented, probability-oriented, unsupervised learning, relativity information processing and massive automated information processing. We see deep learning and machine learning as an attempt to make all types of information processing relatively close to probability information processing. We will discuss (...) about how to understand Deep Learning and Artificial intelligence and why Deep Learning is shown better performance than the other methods by metaphysical logic. (shrink)

When information on a coma patient’s expected outcome is uncertain, a moral dilemma arises in clinical practice: if life-sustaining treatment is continued, the patient may survive with unacceptably poor neurological prospects, but if withdrawn a patient who could have recovered may die. Continuous electroencephalogram-monitoring is expected to substantially improve neuroprognostication for patients in coma after cardiac arrest. This raises expectations that decisions whether or not to withdraw will become easier. This paper investigates that expectation, exploring cEEG’s impacts when it becomes (...) part of a socio-technical network in an Intensive Care Unit. Based on observations in two ICUs in the Netherlands and one in the USA that had cEEG implemented for research, we interviewed 25 family members, healthcare professionals, and surviving patients. The analysis focuses on the way patient outcomes are constructed, the kind of decision support these outcomes provide, and how cEEG affects communication between professionals and relatives. We argue that cEEG can take away or decrease the intensity of the dilemma in some cases, while increasing uncertainty for others. It also raises new concerns. Since its actual impacts furthermore hinge on how cEEG is designed and implemented, we end with recommendations for ensuring responsible development and implementation. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures (...) are here perceived as formal translations of the fundamental twofold role of properties in Mechanics: they are at the same time quantities and transformations. The question becomes then to understand the precise articulation between these two roles. The analysis will show that Quantum Mechanics can be thought as distinguishing itself from Classical Mechanics by a compatibility condition between properties-as-quantities and properties-as-transformations. -/- Moreover, this dissertation shows the existence of a tension between a certain "abstract way" of conceiving mathematical structures, used in the practice of mathematical physics, and the necessary capacity to specify particular states or observables. It then becomes important to understand how, within the formalism, one can construct a labelling scheme. The “Chase for Individuation” is the analysis of different mathematical techniques which attempt to overcome this tension. In particular, we discuss how group theory furnishes a partial solution. (shrink)

According to the epistemic account of request normativity, a request gives us reasons by revealing normatively relevant information. The information is normative, not the request itself. I raise a new objection to the epistemic account based on situations where we might try to avoid someone requesting something of us. The best explanation of these situations seems to be that we do not want to acquire a new reason to do something. For example, if you know I am going to ask (...) you to read a draft of my paper, you might avoid running into me so as to avoid acquiring a reason to read a draft of my paper. I then argue that the epistemic account can successfully reply to this objection and that in fact the epistemic account does a better job of accounting for cases like this than competing views of the normativity of requests. (shrink)

In his article “Utility Cascades”, Max Khan Hayward argues that act-utilitarians should sometimes either ignore evidence about the effectiveness of their actions or fail to apportion their support to an action's effectiveness. His conclusions are said to have particular significance for the effective altruism movement, which centers seeking and being guided by evidence. Hayward's argument is that act-utilitarians are vulnerable to succumbing to “utility cascades”, that these cascades function to frustrate the ultimate goals of act-utilitarians, and that one apposite way (...) to avoid them is by “ostriching”: ignoring relevant evidence. If true, this conclusion would have remarkable consequences for act-utilitarianism and the effective altruism movement. However, Hayward is mistaken – albeit in an interesting way and with broader significance for moral philosophy. His argument trades on a subtle mischaracterization of act-utilitarianism. Act-utilitarians are not especially vulnerable to utility cascades, and they shouldn't ostrich. (shrink)

Arguing against the claim that beliefs are reasons for action.

The philosophical investigation of perceptual illusions can generate fruitful insights in the study of subjective time consciousness. However, the way illusions are interpreted is often controversial. Recently, proponents of the so-called dynamic snapshot theory have appealed to the Waterfall Illusion, a kind of motion aftereffect, to support a particular view of temporal consciousness according to which experience is structured as a series of instantaneous snapshots with dynamic qualities. This dynamism is meant to account for familiar features of the phenomenology of (...) time, such as succession, continuity, and change. Previous theories have typically appealed to a subjective present occupying an interval of time; that is, a “specious present.” I argue, through analysis of motion aftereffect illusions and the rare condition of akinetopsia, i.e. motion-blindness, that the Waterfall Illusion fails to support the dynamic snapshot theory as intended. Furthermore, I suggest that future theories of subjective time should see temporal phenomenology as the result of non-localised processes closely tied to the mechanism underlying consciousness generally. (shrink)

In her landmark book, Language, Thought, and Other Biological Categories (Millikan1984),1 Ruth Garrett Millikan utilizes the idea of a biological function to solve philosophical problems associated with the phenomena of language, thought, and meaning. Language and thought are activities of biological organisms, according to Millikan, and we should treat them as such when trying to answer related philosophical questions. Of special interest is Millikan’s treatment of intentionality. Here Millikan employs the notion of a biological function to explain what it is (...) for one thing in nature, a bee dance (43), for example, to be about another, in this case, the location of a nectar source. My concern in this paper is to understand whether Millikan’s account of intentionality adequately explains how humans achieve reference, in language or thought, to individuals and groups in their environment. In bringing her theory of intentional content to bear on human activities, Millikan focuses largely on natural language. Thus, in what follows, I begin by laying out the biology-based principles that underlie Millikan’s theory of content, then proceed with an explanation of how the theory is to apply to natural language. As it appears, Millikan’s account of how content is determined for natural language terms and sentences rests on the determinacy of intentional content at the psychological level. This leads me to take a careful look at what Millikan says about the content of mental representations, in hopes of finding a sufficient basis there for the application of Millikan’s theory of content to natural language. Ultimately, I conclude that Millikan’s theory faces a problem of vacuity. If we approach the theory as a theory of intentional content, intended to explain the nature of reference, the theory is lacking in an extremely important respect: Millikan explains how it could be one of the biological functions of a mental or natural language term to refer, without telling us precisely what in the natural order constitutes the reference relation.. (shrink)

Hui Shi (370-310B.C.E.?) is a unique one among the pre-Qin scholars. The object and orientation of his scholarship emphasized on “chasing after the materials” or the research for objective knowledge of natural things. He shows a tendency of tolerating and advocating diversity and variety, and intentionally pursuing new and unusual ideas. In certain degree he judges the value of knowledge by its truthfulness rather than its usefulness. As pointed out by Wing-tsit Chan, Hui shi represents a “tendency in ancient China (...) toward intellectualism for its own sake”. (shrink)

Suppose a police car gives chase to some violent criminals, putting innocent bystanders at risk. The criminals have not threatened the police in any way; so we would not normally say that the police have been coerced into chasing. Nor are the police merely responding to natural circumstances, so they are not acting under necessity, in the usual sense. The case is different from one in which an ambulance speeds to hospital, putting innocent bystanders at risk, because the reason (...) for the police speeding has to do with the unreasonable behaviour of others. Yet that unreasonable behaviour does not constitute threatening behaviour. How then should we describe what happened? (shrink)

Once upon a time, Aesop says, there was a donkey who wanted to be a pet dog. The pet dog was given many treats by the master and the household servants, and the donkey was envious of him. Hence, the donkey began emulating the pet dog. What happened next? The story ends up with the donkey beaten senseless, chased off to the stables, exhausted and barely alive. Who is to blame for the poor donkey’s unfortunate fate? Well, there could be (...) disagreement upon this, but we think emulation is to blame. And it’s on the kinds of envy-related emulation that we focus in this chapter. More analytically, we aim at vindicating the role of envy for moral exemplars within an exemplarist character educational framework. In the first section, we recall the central tenets of an exemplarist account of moral progress, and highlight how negative emotions, in general, have suffered a bad press within character education, with exemplarism being no exception. Then we provide a brief outline of standard strategies of defending envy by appealing to useful taxonomies of envy (e.g., Taylor 1988; Protasi 2016; Fussi 2018). After that, we put forward our 'Donkey Objection' by recalling Aesop’s fable on "foolish imitation", so as to show that when envy triggers mere emulation, it can bear devastating effects such as conformism and a lack of self-worth and personal integrity. In response to this objection, we bring into play a distinction between two rival forms of imitation—emulation and inspiration—and we coin the label of "inspired envy" for those forms of imitation by inspiration triggered by envy that lead to self-improvement avoiding morally detrimental consequences. (shrink)

In a monograph published last year, literary theorist Mark Noble notes that, in the way Deleuze understands the relationship between materialism and subjectivity, Deleuze “also sounds curiously like Santayana.” For example, the work of both philosophers “locates human value in a source at once immanent and alien.” Noble also wonders “whether the lesson of Santayana’s own negotiation with his tendency to humanize the non-human ground of experience also anticipates the thrill Deleuze chases when positing the univocity of being.” In the (...) present article, I will attempt to elaborate on this “anticipation,” the implications of which include a greater appreciation of Santayana on the part of Deleuze enthusiasts, an understanding of both philosophers as U.S.-influenced, European quasi-pragmatists, and a decision in favor of Michael Brodrick’s recent interpretation of Santayana as a “total natural event” philosopher of mind. (shrink)

This was abstracted from a lengthier article titled "A Genuine Monotheism for Christians, Muslims, Jews, and All" originally published in the JOURNAL OF ECUMENICAL STUDIES, 52:575-586. Thanks to Paul Chase at Penn Press Journals for permission to use it here. This article proposes an understanding of the identity of God and Jesus that might be attractive and even plausible to persons of all monotheistic faiths. The basic thesis is that Jesus (as both "fully God and fully human") is best (...) understood to mean that Jesus fully identified with God experientially, psychologically, evaluationally, morally, and spiritually; and God fully identified with Jesus in similar ways. Read the article to get the full explanation of this. Might the founders and saints of non-Christian religions also have also thus identified with God, and God with them? (shrink)

This paper addresses the seemingly insurmountable challenges the problem of personal identity raises for the prospect of radical human enhancement and synthetic consciousness. It argues that conceptions of personal identity rooted in psychological continuity akin to those proposed by Parfit and the Buddha may not provide the sort of grounding that many transhumanists chasing the dream of life extension think that they do if they rest upon ontologies that assume an incompatibility between identity and change. It also suggests that process (...) ontologies that take change to be primary, such as those that align with contemporary systems biology, offer a better way out of the personal identity dilemma. But the solution in this case, which regards biological organisms as processes rather than things, may constrain the possibility of biologically inspired superintelligent aliens (BISAs), which Schneider (following Bostrom 2014) posits as possibly the most common form of (extraterrestrial) superintelligence in the universe. (shrink)

I revisit my paper, ‘Grace de Laguna’s 1909 Critique of Analytic Philosophy’ and respond to the commentary on it. I respond to James Chase and Jack Reynolds by further analysing the difference between speculative philosophy as de Laguna conceived of it and analytic philosophy, by clarifying how her critique of analytic philosophy remains relevant to some of its more speculative forms, and by explaining what justifies the criticism of established opinion that goes along with her rejection of analytic philosophy’s (...) epistemic conservatism. In response to Andreas Vrahimis, I contextualise my reading of de Laguna’s work in 1909. This clarifies her critique of pragmatism, distinguishes it from her critique of epistemically conservative philosophy, and shows that she was not only already aware of the full scope of the latter critique but is likely to have identified the then incipient analytic philosophy as its primary target. Also, contra Vrahimis, her argument is effective against Bertrand Russell’s later, epistemically conservative approach to philosophy. In response to Cheryl Misak, I point out that her argument that de Laguna is, despite herself, a pragmatist rests on a misunderstanding of the differences between pragmatism and idealism, and I show that de Laguna’s main early influences were Herbert Spencer and her teacher, James Edwin Creighton. I further argue that Misak’s rejection of de Laguna’s critique of pragmatism rests on a misrepresentation of the critique. (shrink)

This book is inspired by a German theoretical physicist, Sabine Hossenfelder’s publication: “Lost in Mathematics”. Her book seems to question highly mathematical and a lot of abstraction in the development of physics and cosmology studies nowadays. There is clear tendency that in recent decades, the physics science has been predominated by such an advanced mathematics, which at times sounding more like acrobatics approach to a reality. Through books by senior mathematical-physicists like Unzicker and Peter Woit, we know that the answer (...) of TOE is not in superstring theories or other variations of such 26 dimensional bosonic string theory, of which none of those theories survived experimental test, but perhaps in low dimensional physics. As Alexander Unzicker suggests, perhaps it is more advisable to consider rotation in 3D space (known as SO3), or a kind of superfluid vortices version of gravitation theory. We can also reconsider proposition by the late Prof F. Winterberg (formerly professor at Univ. Nevada, Reno), that it is most likely that superfluid phonon roton theory in 3D can replace the entire superstring theories. While we don’t explore yet implications of his model to particle physics, we discuss here some published papers at several journals in the past few years. (shrink)

Many of us feel internally conflicted in the face of certain normative claims that make infeasible demands: say, normative claims that demand that agents do what, given deeply entrenched objectionable character traits, they cannot bring themselves to do. On the one hand, such claims may seem false on account of demanding the infeasible, and insisting otherwise may seem to amount to objectionable unworldliness – to chasing “pies in the sky.” On the other hand, such claims may seem true in spite (...) of making infeasible demands, and insisting otherwise may seem to amount to treating the agents in question with undue lenience – to mistakenly letting them “off the hook.” What is going on? One possibility is that we are making a mistake. I explore the alternative hypothesis that our ambivalent reactions, far from involving any mistake, are entirely consistent and appropriate. Rather than some single privileged ought such that the idea that “ought” implies “feasible” is either true or false, there are simply different oughts that are supposed to be capable of operating in the service of, and playing distinct roles associated with, what I shall call different core normative practices. In particular, there is a) some salient core practice-serving ought for which it’s true that “ought” implies “feasible” and b) some other salient core practice-serving ought for which it’s false that “ought” implies “feasible.” I sketch a framework for understanding different core practice-serving oughts in general and then use this framework to consider which particular core practice-serving oughts might be capable of vindicating our ambivalence. I begin by considering and rejecting a prevalent and prima facie promising account according to which the relevant oughts are the prescriptive ought and the evaluative ought. I then propose a different account that holds that the oughts we need are instead the deliberative ought and the hypological ought. (shrink)

The literature on the venerable aesthetic category of the sublime often provides us with lists of sublime phenomena — mountains, storms, deserts, volcanoes, oceans, the starry sky, and so on. But it has long been recognized that what matters is the experience of such objects. We then find that one of the most consistent claims about this experience is that it involves an element of fear. Meanwhile, the recognition of the sublime as a category of aesthetic appreciation implies that attraction, (...) admiration or pleasure is also present.1However, there is also a sense of fear and attraction when we watch car chases or fights. Neither of these is an occasion for the sublime so much as a visceral sort of excitement.2 As .. (shrink)

In this paper we try to diagnose one reason why the debate regarding the Hard Problem of consciousness inevitably leads to a stalemate: namely that the characterisation of consciousness assumed by the Hard Problem is unjustified and probably unjustifiable. Following Dennett : 4–6, 1996, Cognition 79:221–237, 2001, J Conscious Stud 19:86, 2012) and Churchland :402–408, 1996, Brainwise: studies in neurophilosophy. MIT Press, Cambridge, MA, 2002), we argue that there is in fact no non-question begging argument for the claim that consciousness (...) is a uniquely Hard Phenomenon. That is; there is no non-question begging argument for the claim that consciousness is necessarily in explicable in terms of the structure and function of mental states. Unfortunately the debate has not moved on because the majority of materialists feel the pull of the at least one of, what we call, the ‘key’ intuitions that supposedly support dualism and the existence of a Hard Phenomenon and so try to accommodate them rather than denying them. Although this a possible response to the intuitions it tends to mask the fact that there is in fact no argument for the existence of a Hard Phenomenon. So we end up participating in our own hornswoggling :402–408, 1996) and chasing our tails trying to answer a question we should in fact ignore. We have no reason to think there is a Hard Problem of consciousness because we have no reason to think the Hard Phenomenon exists. (shrink)

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with (...) as many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

Mental (or semantic) holism is the doctrine that the identity of a belief content (or the meaning of a sentence that expresses it) is determined by its place in the web of beliefs or sentences comprising a whole theory or group of theories. It can be contrasted with two other views: atomism and molecularism. Molecularism characterizes meaning and content in terms of relatively small parts of the web in a way that allows many different theories to share those parts. For (...) example, the meaning of 'chase' might be said by a molecularist to be try to catch. Atomism characterizes meaning and content in terms of none of the web; it says that sentences and beliefs have meaning or content independently of their relations to other sentences or beliefs. One major motivation for holism has come from reflections on the natures of confirmation and learning. As Quine (1953) observed, claims about the world are confirmed not individually, but only in conjunction with theories of which they are a part. And typically, one cannot come to understand scientific claims without understanding a significant chunk of the theory of which they are a part. For example, in learning the Newtonian concepts of 'force', 'mass', kinetic energy' and 'momentum', one doesn't learn any definitions of these terms in terms that are understood beforehand, for there are no such definitions. Rather, these theoretical terms were all learned together in conjunction with procedures for solving problems. The major problem with holism is that it threatens to make generalization in psychology virtually impossible. If the content of any state depends on all others, it would be extremely unlikely that any two believers would ever share a state with the same content. Moreover, holism would appear to conflict with our ordinary conception of reasoning. What sentences one accepts influence what one infers. if i accept a sentence and then later reject it, i thereby change the inferential role of that sentence, so the meaning of what i accept wouldn't be the same as what i later reject. but then it would be difficult to understand on this view how one could rationally --or even irrationally!-- change one's mind. and agreement and translation are also problematic for much the same reason. holists have responded (1) by proposing that we should think not in terms of "same/different" meaning but in terms of a gradient of similarity of meaning, (2) by proposing "two factor" theories or (3) by simply accepting the consequence that there is no real difference between changing meanings and changing beliefs. (shrink)

In this paper, I consider an argument of Harvey Siegel's according to which there can be no hypothetical normativity anywhere unless there is categorical normativity in epistemology. The argument fails because it falsely assumes people must be bound by epistemic norms in order to have justified beliefs.

C. S. Peirce once defined pragmatism as the opinion that metaphysics is to be largely cleared up by the application of the following maxim for attaining clearness of apprehension: ‘Consider what effects that might conceivably have practical bearings we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.’ (Peirce 1982a: 48) More succinctly, Richard Rorty has described the position in this way.

This open-access editorial discusses confronting silences in different disciplinary contexts, such as science and technology studies, cultural anthropology, and philosophy. It has a focus on race and concludes with thoughts about Indigenous expertise, the Australian referendum on the Indigenous Voice, to parliament, and racism.

Genes and the Agents of Life undertakes to rethink the place of the individual in the biological sciences, drawing parallels with the cognitive and social sciences. Genes, organisms, and species are all agents of life but how are each of these conceptualized within genetics, developmental biology, evolutionary biology, and systematics? The 2005 book includes highly accessible discussions of genetic encoding, species and natural kinds, and pluralism above the levels of selection, drawing on work from across the biological sciences. The book (...) is a companion to the author's Boundaries of the Mind (2004), also available from Cambridge, where the focus is the cognitive sciences. The book will appeal to a broad range of professionals and students in philosophy, biology, and the history of science. You can download the table of contents and the first chapter here. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume of (...) inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

In this essay, we suggest practical ways to shift the framing of crisis standards of care toward disability justice. We elaborate on the vision statement provided in the 2010 Institute of Medicine (National Academy of Medicine) “Summary of Guidance for Establishing Crisis Standards of Care for Use in Disaster Situations,” which emphasizes fairness; equitable processes; community and provider engagement, education, and communication; and the rule of law. We argue that interpreting these elements through disability justice entails a commitment to both (...) distributive and recognitive justice. The disability rights movement's demand “Nothing about us, without us” requires substantive inclusion of disabled people in decision‐making related to their interests, including in crisis planning before, during, and after a pandemic like Covid‐19. (shrink)

This paper explores relationships between environment and education after the Covid-19 pandemic through the lens of philosophy of education in a new key developed by Michael Peters and the Philosophy of Education Society of Australasia. The paper is collectively written by 15 authors who responded to the question: Who remembers Greta Thunberg? Their answers are classified into four main themes and corresponding sections. The first section, ‘As we bake the earth, let's try and bake it from scratch’, gathers wider philosophical (...) considerations about the intersection between environment, education, and the pandemic. The second section, ‘Bump in the road or a catalyst for structural change?’, looks more closely into issues pertaining to education. The third section, ‘If you choose to fail us, we will never forgive you’, focuses to Greta Thunberg’s messages and their responses. The last section, ‘Towards a new normal’, explores future scenarios and develops recommendations for critical emancipatory action. The concluding part brings these insights together, showing that resulting synergy between the answers offers much more then the sum of articles’ parts. With its ethos of collectivity, interconnectedness, and solidarity, philosophy of education in a new key is a crucial tool for development of post-pandemic education. (shrink)

Recent philosophical attention to climate models has highlighted their weaknesses and uncertainties. Here I address the ways that models gain support through observational data. I review examples of model fit, variety of evidence, and independent support for aspects of the models, contrasting my analysis with that of other philosophers. I also investigate model robustness, which often emerges when comparing climate models simulating the same time period or set of conditions. Starting from Michael Weisberg’s analysis of robustness, I conclude that his (...) approach involves a version of reasoning from variety of evidence, enabling this robustness to be a confirmatory virtue.. (shrink)

We suggest that there is confusion between why consciousness developed and what additional functions, through continued evolution, it has co-opted. Consider episodic memory. If we believe that episodic memory evolved solely to accurately represent past events, it seems like a terrible system—prone to forgetting and false memories. However, if we believe that episodic memory developed to flexibly and creatively combine and rearrange memories of prior events in order to plan for the future, then it is quite a good system. We (...) argue that consciousness originally developed as part of the episodic memory system—quite likely the part needed to accomplish that flexible recombining of information. We posit further that consciousness was subsequently co-opted to produce other functions that are not directly relevant to memory per se, such as problem-solving, abstract thinking, and language. We suggest that this theory is compatible with many phenomena, such as the slow speed and the after-the-fact order of consciousness, that cannot be explained well by other theories. We believe that our theory may have profound implications for understanding intentional action and consciousness in general. Moreover, we suggest that episodic memory and its associated memory systems of sensory, working, and semantic memory as a whole ought to be considered together as the conscious memory system in that they, together, give rise to the phenomenon of consciousness. Lastly, we suggest that the cerebral cortex is the part of the brain that makes consciousness possible, and that every cortical region contributes to this conscious memory system. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

What is the primary function of consciousness in the nervous system? The answer to this question remains enigmatic, not so much because of a lack of relevant data, but because of the lack of a conceptual framework with which to interpret the data. To this end, we have developed Passive Frame Theory, an internally coherent framework that, from an action-based perspective, synthesizes empirically supported hypotheses from diverse fields of investigation. The theory proposes that the primary function of consciousness is well-circumscribed, (...) serving the 'somatic nervous system[. For this system, consciousness serves as a frame that constrains and directs skeletal muscle output, thereby yielding adaptive behavior. The mechanism by which consciousness achieves this is more counterintuitive, passive, and “low level” than the kinds of functions that theorists have previously attributed to consciousness. Passive frame theory begins to illuminate (a) what consciousness contributes to nervous function, (b) how consciousness achieves this function, and (c) the neuroanatomical substrates of conscious processes. Our untraditional, action-based perspective focuses on olfaction instead of on vision and is 'descriptive' (describing the products of nature as they evolved to be) rather than 'normative' (construing processes in terms of how they should function). Passive frame theory begins to isolate the neuroanatomical, cognitive-mechanistic, and representational (e.g., conscious contents) processes associated with consciousness. (shrink)

Most forms of human papillomavirus can create alterations on a woman's cervix that can lead to cervical cancer in the long run, while others can produce genital or epidermal tumors. Cervical cancer is a leading cause of morbidity and mortality among women in low- and middle-income countries. The prediction of cervical cancer still remains an open challenge as there are several risk factors affecting the cervix of the women. By considering the above, the cervical cancer risk factor dataset from KAGGLE (...) data warehouse is executed for predicting the cervical cancer risk classes. The cervical cancer data set is normalised with incomplete data and Pattern Calibration. Secondly, the interpretive data analysis is carried out, and the target feature's dispersion of the cervical cancer risk is visualised. Thirdly, several classifiers are fitted to the unprocessed data set, and the performance is measured with pre and post feature scaling. Fourth, oversampling methodologies are applied to the pre - processed data set. Fifth, the oversampled dataset by differment methods are applied to all the classifiers and the performance is compared with pre and post feature scaling. Sixth, Precision, recall, Fscore, accuracy, and running time are some of the metrics used in performance analysis. The code is written in Python and executed with Anaconda Navigator on the Spyder framework. The findings of the experiments reveal that the Random forest classifier tends to sustain 96% accuracy pre and post scaling for unporocessed dataset. Similarly the same classifier tends to sustain 98% accuracy for all the oversampling techniques. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with outright assertions, with (...) first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

Remhof contends that Nietzsche is a metaphysician. According to his Meta-Metaphysical Argument, Nietzsche’s texts satisfy the criteria for an adequate conception of metaphysics. According to his Constructivist Argument, Nietzsche adopts a metaphysical position on which concepts’ application conditions constitute the identity conditions of their objects. This article critically appraises these arguments. I maintain that the criteria advanced in the Meta-Metaphysical Argument are collectively insufficient for delineating metaphysics as a distinct field of inquiry and that the Constructivist Argument attributes a position (...) to Nietzsche that remains vulnerable to his evaluative and psychological indictments of two-world metaphysics. I conclude by discussing how these objections might help non-metaphysical readers of Nietzsche resist Remhof’s interpretation. (shrink)

Excellence in sport performance is normally taken to be a matter of superior performance of physical movements or quantitative outcomes of movements. This paper considers whether a wider conception can be afforded by certain kinds of nature based sport. The interplay between technical skill and aesthetic experience in nature based sports is explored, and the extent to which it contributes to a distinction between different sport-based approaches to natural environments. The potential for aesthetic appreciation of environmental engagement is found to (...) be strongly dependent on whether or not environmental engagement is exploited for the end of producing a quantifiable result or enhancing technical skill. It is also argued that an existential rather than spectatorial attitude to aesthetic experience is offered by specifically nature oriented sport. Aesthetic experience achieved in this way is therefore neither passive nor detached, but extends Berleant's concept of participatory environmental aesthetics and underpins both an alternate (wide) conception of excellence in sport activity and a richer experience of aesthetic engagement than more objectivised standpoints. (shrink)